Leśniewski, lecteur de Frege

Lecteur dynamique et littérature de jeunesse: didactique du texte littéraire à l'université

  پویندگی خوانندگان و ادبیات جوانان: آموزش متون ادبی در دانشگاه­ها     ت اریخ دریافت: 6/8/91 تاریخ پذیرش: 3/11/91   جمال جابالی   دانشگاه محمد 5، مراکش   [email protected]     نظریه­های نوین خوانش، نیازهای خواننده واقع­نگر و پویا در حیطه ادبیات خصوصا ادبیات معطوف به خوانندگان جوان را در اولویت کار خود قرار می­دهند. هر چند که این ادبیات از کیفیت مطلوب یا نامطلوب برخوردار است ولی در زمره ادبیات ...

La généalogie de l'histopathologie. Une révision déchirante. Philippe Pinel, lecteur discret de J.-C. Smyth (1741–1821)

OTHMAR KEEL, La genealogie de l'histopathologie. Une revision dechirante. Philippe Pinel, lecteur discret de J.-C. Smyth (1741-1821), Paris, Vrin, 1979, 8vo, pp. ii, 135 +facsimile, [no price stated]. This attractive little book is presented as a detective story. Keel uncovers and then unravels a minor mystery who was the English source of Pinel's ideas on the inflammation of membranes? He uses...

Frege Systems

Definitions and Contradictions Russell , Poincaré , and Leśniewski

This paper is composed of two independent parts. The first is concerned with Russell’s early philosophy of mathematics and his quarrel with Poincaré about the nature of their opposition. I argue that the main divergence between the two philosophers was about the nature of definitions. In the second part, I briefly present Leśniewski’s Ontology and suggest that Leśniewski’s original treatment of...

Propositional Proofs in Frege and Extended Frege Systems (Abstract)

We discuss recent results on the propositional proof complexity of Frege proof systems, including some recently discovered quasipolynomial size proofs for the pigeonhole principle and the Kneser-Lovász theorem. These are closely related to formalizability in bounded arithmetic.